-
Notifications
You must be signed in to change notification settings - Fork 9
Issues: shnarazk/splr
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Adopt "Tiny Pointers"
enhancement
New feature or request
experimental project
#292
opened Apr 29, 2025 by
shnarazk
How about define My original idea
Lit
as (&Var, bool)
to shorten dereference chains?
idea
#283
opened Jan 27, 2025 by
shnarazk
Switch from Watch list and/or Dancing links to a complete bi-graph from
Lit
to Clause
experimental project
#278
opened Jan 11, 2025 by
shnarazk
Entanglement was defined wrongly
bug
Something isn't working
#270
opened Sep 27, 2024 by
shnarazk
1 task done
Use simd-itertools someday
type system
Changes on types for safety or generality
#257
opened Jul 21, 2024 by
shnarazk
ProTip!
Adding no:label will show everything without a label.